John Backus
John Backus |

|
Born |
December 3, 1924(1924-12-03)
Philadelphia, Pennsylvania |
Died |
March 17, 2007(2007-03-17) (aged 82)
Ashland, Oregon |
Fields |
Computer Science |
Institutions |
IBM |
Known for |
Speedcoding
FORTRAN
ALGOL
Backus-Naur form
Function-level programming |
Notable awards |
ACM Turing Award
Draper Prize |
John Warner Backus (December 3, 1924 – March 17, 2007) was an American computer scientist. He directed the team that invented the first widely used high-level programming language (FORTRAN) and was the inventor of the Backus-Naur form (BNF), the almost universally used notation to define formal language syntax. He also did research in function-level programming and helped to popularize it.
The IEEE awarded Backus the W.W. McDowell Award in 1967 for the development of FORTRAN.[1] He received the National Medal of Science in 1975,[2] and the 1977 ACM Turing Award “for profound, influential, and lasting contributions to the design of practical high-level programming systems, notably through his work on FORTRAN, and for publication of formal procedures for the specification of programming languages.”[3]
Life and career
Backus was born in Philadelphia, Pennsylvania and grew up in nearby Wilmington, Delaware. He studied at the The Hill School in Pottstown, Pennsylvania, and was apparently not a diligent student.[4] After entering the University of Virginia to study chemistry, he quit and was conscripted into the U.S. Army.[4] He began medical training and, during an internship at a hospital, he was diagnosed with a cranial bone tumor, which was removed successfully; a plate was installed in his head, and he ended medical training after nine months and a subsequent operation to replace the plate with one of his own design.[5]
After moving to New York City he trained initially as a radio technician and became interested in mathematics. He graduated from Columbia University with a Master's degree in mathematics during 1949, and joined IBM in 1950. During his first three years, he worked on the Selective Sequence Electronic Calculator (SSEC); his first major project was to write a program to calculate positions of the Moon. During 1953, John Backus also developed the language Speedcoding, the first higher-order language created for an IBM computer.[6]
Programming was very difficult, and during 1954 Backus assembled a team to define and develop Fortran for the IBM 704 computer. Fortran was the first high level programming language to be put to broad use.
Backus made another, critical contribution to early computer science: during the latter part of the 1950s Backus served on the international committees which developed ALGOL 58 and the very influential ALGOL 60, which quickly became the de facto worldwide standard for publishing algorithms. Backus developed the Backus-Naur Form (BNF), in the UNESCO report on ALGOL 58. This was a formal notation with which one could describe any context-free programming language and was important in the development of compilers. This contribution helped Backus win the Turing Award.
He later worked on a "function-level" programming language known as FP which was described in his Turing Award lecture "Can Programming be Liberated from the von Neumann Style?". Sometimes viewed as Backus's apology for creating FORTRAN, this paper did less to garner interest in the FP language than to spark research into functional programming in general. An FP interpreter was distributed with the 4.2BSD Unix operating system. FP was strongly inspired by Kenneth E. Iverson’s APL, even using a non-standard character set. Backus spent the latter part of his career developing FL (from "Function Level"), a successor to FP. FL was an internal IBM research project, and development of the language essentially stopped when the project was finished (only a few papers documenting it remain), but many of the language's innovative, arguably important ideas have now been implemented in Iverson’s J programming language.
Backus was named an IBM Fellow in 1963,[7] and was awarded a degree honoris causa from the Henri Poincaré University in Nancy (France) in 1989[8] and a Draper Prize in 1993.[9] He retired in 1991 and died at his home in Ashland, Oregon on March 17, 2007.[4]
Awards and honors
- Named an IBM Fellow (1963)[7]
- Awarded W.W. McDowell Award (1967)[1]
- Received National Medal of Science (1975)[2]
- Awarded ACM Turing Award (1977)[3]
- Awarded degree honoris causa (1989)[8]
- Awarded Draper Prize (1993)[9]
- Awarded Computer History Museum Fellow Award (1997)[10]
- Asteroid 6830 Johnbackus named in his honor (June 1, 2007) †
References
External links
A. M. Turing Award laureates |
|
Alan Perlis (1966) · Maurice Vincent Wilkes (1967) · Richard Hamming (1968) · Marvin Minsky (1969) · James H. Wilkinson (1970) · John McCarthy (1971) · Edsger W. Dijkstra (1972) · Charles Bachman (1973) · Donald Knuth (1974) · Allen Newell / Herbert Simon (1975) · Michael O. Rabin / Dana Scott (1976) · John Backus (1977) · Robert Floyd (1978) · Kenneth E. Iverson (1979) · C. A. R. Hoare (1980) · Edgar F. Codd (1981) · Stephen Cook (1982) · Ken Thompson / Dennis Ritchie (1983) · Niklaus Wirth (1984) · Richard Karp (1985) · John Hopcroft / Robert Tarjan (1986) · John Cocke (1987) · Ivan Sutherland (1988) · William Kahan (1989) · Fernando J. Corbató (1990) · Robin Milner (1991) · Butler Lampson (1992) · Juris Hartmanis / Richard Stearns (1993) · Edward Feigenbaum / Raj Reddy (1994) · Manuel Blum (1995) · Amir Pnueli (1996) · Douglas Engelbart (1997) · Jim Gray (1998) · Fred Brooks (1999) · Andrew Yao (2000) · Ole-Johan Dahl / Kristen Nygaard (2001) · Ron Rivest / Adi Shamir / Leonard Adleman (2002) · Alan Kay (2003) · Vint Cerf / Bob Kahn (2004) · Peter Naur (2005) · Frances E. Allen (2006) · Edmund M. Clarke / E. Allen Emerson / Joseph Sifakis (2007) · Barbara Liskov (2008) · Charles P. Thacker (2009)
|
|
United States National Medal of Science laureates |
|
Behavioral and social science |
|
1960s
|
1964: Roger Adams · Othmar H. Ammann · Theodosius Dobzhansky · Neal Elgar Miller
|
|
1980s
|
|
|
1990s
|
|
|
2000s
|
2000: Gary Becker · 2001: George Bass · 2003: R. Duncan Luce · 2004: Kenneth Arrow · 2005: Gordon H. Bower · 2008: Michael I. Posner
|
|
|
|
Biological sciences |
|
1960s
|
1963: C. B. van Niel · 1964: Marshall W. Nirenberg · 1965: Francis P. Rous · George G. Simpson · Donald D. Van Slyke · 1966: Edward F. Knipling · Fritz Albert Lipmann · William C. Rose · Sewall Wright · 1967: Kenneth S. Cole · Harry F. Harlow · Michael Heidelberger · Alfred H. Sturtevant · 1968: Horace Barker · Bernard B. Brodie · Detlev W. Bronk · Jay Lush · Burrhus Frederic Skinner · 1969: Robert Huebner · Ernst Mayr
|
|
1970s
|
1970: Barbara McClintock · Albert B. Sabin · 1973: Daniel I. Arnon · Earl W. Sutherland, Jr. · 1974: Britton Chance · Erwin Chargaff · James V. Neel · James Augustine Hannon · 1975: Hallowell Davis · Paul Gyorgy · Sterling Brown Hendricks · Orville lvin Vogel · 1976: Roger C.L. Guillemin · Keith Roberts Porter · Efraim Racker · E. O. Wilson · 1979: Robert H. Burris · Elizabeth C. Crosby · Arthur Kornberg · Severo Ochoa · Earl Reece Stadtman · George Ledyard Stebbins · Paul Alfred Weiss
|
|
1980s
|
1981: Philip Handler · 1982: Seymour Benzer · Glenn W. Burton · Mildred Cohn · 1983: Howard L. Bachrach · Paul Berg · Wendell L. Roelofs · Berta Scharrer · 1986: Stanley Cohen · Donald A. Henderson · Vernon B. Mountcastle · George Emil Palade · Joan A. Steitz · 1987: Michael E. Debakey · Theodor O. Diener · Harry Eagle · Har Gobind Khorana · Rita Levi-Montalcini · 1988: Michael S. Brown · Stanley Norman Cohen · Joseph L. Goldstein · Maurice R. Hilleman · Eric R. Kandel · Rosalyn S. Yalow · 1989: Katherine Esau · Viktor Hamburger · Philip Leder · Joshua Lederberg · Roger W. Sperry · Harland G. Wood
|
|
1990s
|
1990: Baruj Benacerraf · Herbert W. Boyer · Daniel E. Koshland, Jr. · Edward B. Lewis · David G. Nathan · E. Donnall Thomas · 1991: Mary Ellen Avery · G. Evelyn Hutchinson · Elvin A. Kabat · Salvador Luria · Paul A. Marks · Folke K Skoog · Paul C. Zamecnik · 1992: Maxine Singer · Howard M. Temin · 1993: Daniel Nathans · Salome G. Waelsch · 1994: Thomas Eisner · Elizabeth F. Neufeld · 1995: Alexander Rich · 1996: Ruth Patrick · 1997: James D. Watson · Robert A. Weinberg · 1998: Bruce Ames · Janet Rowley · 1999: David Baltimore · Jared Diamond · Lynn Margulis
|
|
2000s
|
2000: Nancy C. Andreasen · Peter H. Raven · Carl Woese · 2001: Francisco J. Ayala · Mario R. Capecchi · Ann M. Graybiel · Gene E. Likens · Victor A. McKusick · Harold Varmus · 2002: James E. Darnell · Evelyn M. Witkin · 2003: J. Michael Bishop · Solomon H. Snyder · Charles Yanofsky · 2004: Norman E. Borlaug · Phillip A. Sharp · Thomas E. Starzl · 2005: Anthony Fauci · Torsten N. Wiesel · 2006: Rita R. Colwell · Nina Fedoroff · Lubert Stryer · 2007: Robert J. Lefkowitz · Bert W. O'Malley · 2008: Francis S. Collins · Elaine Fuchs · J. Craig Venter
|
|
|
|
Chemistry |
|
1980s
|
1982: F. Albert Cotton · Gilbert Stork · 1983: Roald Hoffmann · George C. Pimentel · Richard N. Zare · 1986: Harry B. Gray · Yuan Tseh Lee · Carl S. Marvel · Frank H. Westheimer · 1987: William S. Johnson · Walter H. Stockmayer · Max Tishler · 1988: William O. Baker · Konrad E. Bloch · Elias J. Corey · 1989: Richard B. Bernstein · Melvin Calvin · Rudoph A. Marcus · Harden M. McConnell
|
|
1990s
|
1990: Elkan Blout · Karl Folkers · John D. Roberts · 1991: Ronald Breslow · Gertrude B. Elion · Dudley R. Herschbach · Glenn T. Seaborg · 1992: Howard E. Simmons, Jr. · 1993: Donald J. Cram · Norman Hackerman · 1994: George S. Hammond · 1995: Thomas Cech · Isabella L. Karle · 1996: Norman Davidson · 1997: Darleane C. Hoffman · Harold S. Johnston · 1998: John W. Cahn · George M. Whitesides · 1999: Stuart A. Rice · John Ross · Susan Solomon
|
|
2000s
|
2000: John D. Baldeschwieler · Ralph F. Hirschmann · 2001: Ernest R. Davidson · Gabor A. Somorjai · 2002: John I. Brauman · 2004: Stephen J. Lippard · 2006: Marvin H. Caruthers · Peter B. Dervan · 2007: Mostafa A. El-Sayed · 2008: Joanna S. Fowler · JoAnne Stubbe
|
|
|
|
Engineering sciences |
|
1960s
|
|
|
1970s
|
1970: George E. Mueller · 1973: Harold E. Edgerton · Richard T. Whitcomb · 1974: Rudolf Kompfner · Ralph Brazelton Peck · Abel Wolman · 1975: Manson Benedict · William Hayward Pickering · Frederick E. Terman · Wernher von Braun · 1976: Morris Cohen · Peter C. Goldmark · Erwin Wilhelm Müller · 1979: Emmett N. Leith · Raymond D. Mindlin · Robert N. Noyce · Earl R. Parker · Simon Ramo
|
|
1980s
|
1982: Edward H. Heinemann · Donald L. Katz · 1983: William R. Hewlett · George M. Low · John G. Trump · 1986: Hans Wolfgang Liepmann · T. Y. Lin · Bernard M. Oliver · 1987: R. Byron Bird · H. Bolton Seed · Ernst Weber · 1988: Daniel C. Drucker · Willis M. Hawkins · George W. Housner · 1989: Harry George Drickamer · Herbert E. Grier
|
|
1990s
|
1990: Mildred S. Dresselhaus · Nick Holonyak Jr. · 1991: George Heilmeier · Luna B. Leopold · H. Guyford Stever · 1992: Calvin F. Quate · John Roy Whinnery · 1993: Alfred Y. Cho · 1994: Ray W. Clough · 1995: Hermann A. Haus · 1996: James L. Flanagan · C. Kumar N. Patel · 1998: Eli Ruckenstein · 1999: Kenneth N. Stevens
|
|
2000s
|
2000: Yuan-Cheng B. Fung · 2001: Andreas Acrivos · 2002: Leo Beranek · 2003: John M. Prausnitz · 2004: Edwin N. Lightfoot · 2005: Jan D. Achenbach · Tobin J. Marks · 2006: Robert S. Langer · 2007: David J. Wineland · 2008: Rudolf E. Kalman
|
|
|
|
Mathematical, statistical, and computer sciences |
|
1960s
|
1963: Norbert Wiener · 1964: Solomon Lefschetz · H. Marston Morse · 1965: Oscar Zariski · 1966: John Milnor · 1967: Paul Cohen · 1968: Jerzy Neyman · 1969: William Feller
|
|
1970s
|
|
|
1980s
|
1982: Marshall Harvey Stone · 1983: Herman Goldstine · Isadore Singer · 1986: Peter Lax · Antoni Zygmund · 1987: Raoul Bott · Michael Freedman · 1988: Ralph E. Gomory · Joseph B. Keller · 1989: Samuel Karlin · Saunders MacLane · Donald C. Spencer
|
|
1990s
|
1990: George F. Carrier · Stephen Cole Kleene · John McCarthy · 1991: Alberto Calderón · 1992: Allen Newell · 1993: Martin David Kruskal · 1994: John Cocke · 1995: Louis Nirenberg · 1996: Richard Karp · Stephen Smale · 1997: Shing-Tung Yau · 1998: Cathleen Synge Morawetz · 1999: Felix Browder · Ronald R. Coifman
|
|
2000s
|
2000: John Griggs Thompson · Karen K. Uhlenbeck · 2001: Calyampudi R. Rao · Elias M. Stein · 2002: James G. Glimm · 2003: Carl R. de Boor · 2004: Dennis P. Sullivan · 2005: Bradley Efron · 2006: Hyman Bass · 2007: Leonard Kleinrock · Andrew J. Viterbi ·
|
|
|
|
Physical sciences |
|
1960s
|
|
|
1970s
|
|
|
1980s
|
|
|
1990s
|
|
|
2000s
|
2000: Willis E. Lamb · Jeremiah P. Ostriker · Gilbert F. White · 2001: Marvin L. Cohen · Raymond Davis Jr. · Charles Keeling · 2002: Richard Garwin · W. Jason Morgan · Edward Witten · 2003: G. Brent Dalrymple · Riccardo Giacconi · 2004: Robert N. Clayton · 2005: Ralph A. Alpher · Lonnie Thompson · 2006: Daniel Kleppner · 2007: Fay Ajzenberg-Selove · Charles P. Slichter · 2009: Berni Alder · James E. Gunn
|
|
|
|